Contrepartie sémantique de la révision locale de croyances par le modèle C-structure

Résumé : Dans ce papier, nous définissons un nouveau modèle pour la représentation et la révision locale de croyances que nous appelons le modèle C-structure. D’autre part, en utilisant les systèmes de sphères de Grove, nous considérons des contraintes additionnelles sur le calcul de la distance entre les interprétations et nous prouvons que ces contraintes caractérisent précisément la contrepartie sémantique de la révision par le modèle C-structure. Mots-clés : modèle C-structure, systèmes de sphères de Grove, révision de croyances.